Suspensions of strong shape equivalences are CE equivalences
نویسندگان
چکیده
منابع مشابه
Metrizable Shape and Strong Shape Equivalences
In this paper we construct a functor Φ : proTop → proANR which extends Mardešić correspondence that assigns to every metrizable space its canonical ANR-resolution. Such a functor allows one to define the strong shape category of prospaces and, moreover, to define a class of spaces, called strongly fibered, that play for strong shape equivalences the role that ANRspaces play for ordinary shape e...
متن کاملShape-wilf-equivalences for Vincular Patterns
We extend the notion of shape-Wilf-equivalence to vincular patterns (also known as “generalized patterns” or “dashed patterns”). First we introduce a stronger equivalence on patterns which we call filling-shape-Wilfequivalence. When vincular patterns α and β are filling-shape-Wilf-equivalent, we prove that α⊕ σ and β ⊕ σ must also be filling-shape-Wilf-equivalent. We also discover two new pairs...
متن کاملEquivalences in Bicategories
In this paper, we establish some connections between the concept of an equivalence of categories and that of an equivalence in a bicategory. Its main result builds upon the observation that two closely related concepts, which could both play the role of an equivalence in a bicategory, turn out not to coincide. Two counterexamples are provided for that goal, and detailed proofs are given. In par...
متن کاملOn Monoidal Equivalences and Ann-equivalences
The equivalence between a monoidal category and a strict one has been proved by some authors such as Nguyen Duy Thuan [8], Christian Kassel [2], Peter Schauenburg [7]. In this paper, we show another proof of the problem by constructing a strict monoidal category M(C) consisting of M -functors and M morphisms of a category C and we prove C is equivalent to it. The proof is based on a basic chara...
متن کاملBehavioral Equivalences
DEFINITION: Beahvioral equivalences serve to establish in which cases two reactive (possible concurrent) systems offer similar interaction capabilities relatively to other systems representing their operating environment. Behavioral equivalences have been mainly developed in the context of process algebras, mathematically rigorous languages that have been used for describing and verifying prope...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 1983
ISSN: 0002-9939
DOI: 10.1090/s0002-9939-1983-0687654-x